https://dasbestelexikon.de/de/wiki/Lokal_endliche_Überdeckung